Automatic derivation of compiler machine descriptions
نویسندگان
چکیده
منابع مشابه
Automatic Derivation of Machine Descriptions
We describe a new system for automatic compiler retargeting. The system combines the advantages of C code generating compilers (fast retargeting) with the advantages of compilers based on speciica-tion driven code generation (fast native code generation). The basic idea is to use the native C compiler to discover architectural features (such as instruction set, register set, addressing modes, i...
متن کاملAutomatic Derivation of Abstract Semantics From Instruction Set Descriptions
Abstracted semantics of instructions of processor-based architectures are an invaluable asset for several formal verification techniques, such as software model checking and static analysis. In the field of model checking, abstract versions of instructions can help counter the state explosion problem, for instance by replacing explicit values by symbolic representations of sets of values. Simil...
متن کاملFrom Interpreter to Compiler and Virtual Machine: A Functional Derivation
We show how to derive a compiler and a virtual machine from a compositional interpreter. We first illustrate the derivation with two evaluation functions and two normalization functions. We obtain Krivine’s machine, Felleisen et al.’s CEK machine, and a generalization of these machines performing strong normalization, which is new. We observe that several existing compilers and virtual machines...
متن کاملAutomatic Selection of Machine Learning Models for Compiler Heuristic Generation
Machine learning has shown its capabilities for an automatic generation of heuristics used by optimizing compilers. The advantages of these heuristics are that they can be easily adopted to a new environment and in some cases outperform hand-crafted compiler optimizations. However, this approach shifts the effort from manual heuristic tuning to the model selection problem of machine learning – ...
متن کاملA Machine Learning Approach to Automatic Production of Compiler Heuristics
Achieving high performance on modern processors heavily relies on the compiler optimizations to exploit the microprocessor architecture. The efficiency of optimization directly depends on the compiler heuristics. These heuristics must be target-specific and each new processor generation requires heuristics reengineering. In this paper, we address the automatic generation of optimization heurist...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 2002
ISSN: 0164-0925,1558-4593
DOI: 10.1145/567097.567100